private function invalidResultException($result) { throw new InvalidExampleResultException("Unrecognised example result {$result}"); }
