Conjectures must be meaningful for all objects
Handle expressions with an exponent that is infinity