axiomize 1.12.2
attempt 1
