more fumbling towards the derived functors stuff.