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