architecture of disjunction