group the correctness properties