correctness arguments and checker board