Overt distributivity in algebraic event semantics · Study