axiomize 1.7.0
attempt 2
