Recently on IRC I said this:
I do not believe in proving the correctness of already constructed programs. I believe in formally deriving programs so that they be correct.
And I got almost instantly corrected:
DijkstraGroupie: So that they are correct, you mean.
Checking on Wikipedia, I found the following:
I want you to give this money to him so that he have enough for lunch. (the conjunction "so that" takes a subjunctive in formal English)
What usage is correct, in this case?