domain assumption