property aspect of pvc, 1 assertions