starting condition semantics