Work with right modules, of course!

Sorry Mike!
Restriction and base change

This is quite ugly at the moment.