apply bloecker's proof reading