演算の定義が先、法則は後