verified syntax checking