contract semantics and other notes from meeting