pretzel logic