[aboardRat4]

Lol. You must be from the "wayland is just a protocol" bunch.

UI(IRC) = MIN_{c \in clients : #user(c) > 100 } UI(c)

But even if you take "max" and not "min", it's still horrible.