almost finished bar serre duality