Trial and Error Predicates and the Solutions to a Problem of Mostowski's