axiomize 1.8.0
attempt 1
