Text this: On quotient rings of pointfree function rings.