Performance good. Correctness by construction good.