You both rather miss the point that the op ref talks of making illegal states unrepresentable. An objective that either depends on only handling simplistic data

You both rather miss the point that the op ref talks of making illegal states unrepresentable. An objective that either depends on only handling simplistic data or ... most likely is impossible.