disjunction.hpp 440 Bytes