Added pattern matcher: Quotient