changed the goes() predicate
implementation of the proof builder