Mainly requires careful thought about a concise description of the semantics. The laws kind of already do this, but it'd be nice to have a less formal description as well.
Mainly requires careful thought about a concise description of the semantics. The laws kind of already do this, but it'd be nice to have a less formal description as well.
Mainly requires careful thought about a concise description of the semantics. The laws kind of already do this, but it'd be nice to have a less formal description as well.
Done in this commit.