A little pretzel logic