Reasoning about Shape and Kinematic Function in Mechanical D door Leo Joskowicz