Text this: Quotient space based problem solving :