IS is. Is IS "is"? Is "is" IS? Is "is" ∞? "Is" is ∞. Is IS ∞? IS ≠ ∞ ∴ IS ≠ is. IS is ∵ "is" is ∴ IS < "is". ~ IS ≈ IS ~ IS