Text this: Boolean basis, formula size, and number of modal operators