hoare.v 5.15 KB