RED: test_that_game_engine_correctly_verifies_consistency
GREEN: test_that_game_engine_correctly_verifies_consistency