kinda like the tradeoffs between property testing and unit testing - property testing is more extensive coverage, but on some level you end up encoding your system twice