see #7, simple generator if claims