add make-axiom and prp-fp example