rm TODO
Some quickCheck
TODO