But to match format, we proceed with the arithmetic from the inspired version that avoids contradiction. - Get link 4share