updated consequences of union/intersection; refactored \doteq to \doteqdot
organized consequences into sections