Invoked Hadley's check()
check()