UPDATE: Implementation of ReverseTester