Trial and error predicates and the solutions to a problem of Mostowski's