A Logical Framework For Solid Object Physics | Desertcart Cote D' Ivoire