If a consistent alternative infinitesimal framework assigns nonzero squares to infinitesimals, then ...