rename
report errors from checker
nicer error messages
safety