https://multifarious.filkin.com/2013/01/30/imrthtl/?replytocom=1570
Is MultiTerm really that hard to learn?