But to match format, we proceed with the arithmetic from the inspired version that avoids contradiction. - Parker Core Knowledge