Axioms, stamping...
Add absprop