A Hammer logic-based implementation of the cut testing element, the Schrödinger cube. Provided are four instances for these; dropper and dropperless for clean and overgrown styles, as well as all the ...