hoare nns e¬ relle