Pretzel logic