semantics finished, laws started