Just proving correctness. Or something like that.