a pretzel with a knot