axiomize 1.11.2
attempt 1
