Florent2·14 yıl önce·discussI had built one that allows to write counter examples also, here an example http://bit.ly/dV4nRg