Comment by jjaredsimpson

Is this argument by syntactic substitution?