updated notes on generative property checking