16.3.3. Algebra of Events