`messages.nonEmpty`