Florent2·14 anni fa·discussI had built one that allows to write counter examples also, here an example http://bit.ly/dV4nRg