The axiom forces will assist (ima bored :b)