Yes, some of the shit he wrote was basically meaningless (the “definitions” before the axioms) and we would just leave it out.