Florent2·14 ปีที่แล้ว·discussI had built one that allows to write counter examples also, here an example http://bit.ly/dV4nRg