generative property checking document, now with actual results