basic rock-crushing theory