@nemobis I was somewhat confused myself why @Gargron had issues with Automatic Theorem Proving :P