axiomize 1.12.0
attempt 1
