Added some notes about quotienting. It's not finished ...