Pretzel's Logic Production