a ameliorer/verifier