Update hoare.tex

I.A. -> B.C.