[teacpde]

I can understand the downvotes, but at the same time it does makes sense, especially given the target is a logician.