Text this: Algebraizable logics /