So then, why is John using *infs* and *sups* when defining the unique formulas in lecture 6?