I find `.nonEmpty` clearer than `!...isEmpty`, but given that there are so many places where we do the negation, I'm just using the WWPD rule.