axiomize 1.12.3
attempt 2
