Check correctness, violation of design, rule check