Some explanation of the semantics.
Merge branch 'master' of github.com:ianj/temporal-aam
Punched up conclusion, filled some evaluation [bogus numbers currently].
Changed statement about future contingency to be more correct.''
Changed metavariable for constants since it conflicted with constructed data.