generalized kripke separability to arbitrary n