But to match format, we proceed with the arithmetic from the inspired version that avoids contradiction. - go-checkin.com