hoare.v 4 KB