Followed by the axiom
Page 3 of 2