Quick Positive Infinity

A simple trick for defining positive infinity semantics.