Text this: A Mathematical-Logic Technique Facilitating Good Teaching (Invited Paper)