moved causality rules to appendix, included example
advancing exp.sand certainty, complex equiv., semantics outline slide
small adjust