Manipulator: correctness checker