neeman has applied this to proving the grothendieck duality theorem in algebraic geometry uwanga amahoro umuhe ibisiga so he decides to put another dog to sleep