Direct modeling
Draw a rectangle on a face, push it, and the body is cut. Inference snaps to endpoints, midpoints, intersections and the axes; modifier keys behave the way your hands already expect. A face region drawn inside another face is imprinted into the body and pushed on its own.