It's a framework for correctness, after all :)