Text this: A Comparison of Elaborated and Restricted Feedback in LogEx, a Tool for Teaching Rewriting Logical Formulae