cleaned up LogicTest Student part