MercurialBlack, 5 months ago @Ukko we don't have peano arithmetic yet
@Ukko we don't have peano arithmetic yet