It Computes Correctly