now can supply the goal as a string

prove can now take a string and scan/parse it