correctness in form1