Add tests for #check, and code to pass them