Correctness of Properties and Examples