avis8disjunction