Explanation for syntax checking