hoare.v 5.69 KB