domain assumption

×