GUI directs to Solver which does Validator; throws exception if there's
a problem