Template:Quotient-idempotent sdf