Text this: Admissibility of logical inference rules /