Matthias Dellago comments on Proof idea: SLT to AIT