Use a "must" rule for condointernet's formula

Hopefully we'll never have to describe another formula like this