more work on document explaining Active semantics