Title: A logical framework for solid object physics