adds some property verification ideas