(This is a reduced version of course.)