Text this: Tools for Teaching Logic