Wrote more stuff on quotients, specifically on binary operations on quotients.