Date: Mar 23, 2014 2:41 PM
Author: Brian Q. Hutchings
Subject: Re: § 454   Equality and the axioms of natural numb<br>	ers

equality is "mod zero