Text this: Complexity function and complexity of validity of modal and superintuitionistic propositional logics.