must prove the final property