Trial and error predicates and the solutions to a problem of Mostowski's | lit.salon