0 / 60 seg.

There were a bunch of these types of invariants.