Max Hennick comments on Proof idea: SLT to AIT