eigen disjunction/conjunction