no distributive disjunction Biomolecules

no distributive disjunction Biomolecules