fixed a typo
started to work on executing the hamilton predicate squander-style