Deriving infinity as a theorem by embedding its content into stratification constraints smuggles inf...