proved the comm_assoc example