disjunction.hpp 437 Bytes