code

The rule as instructions a machine runs. Writing it this way forces you to handle every case, including the ones you were quietly skipping, because the machine will not accept a gap. The cost is that a reader now has to read code to check your reasoning.

The rule as instructions a machine runs. Writing it this way forces you to handle every case, including the ones you were quietly skipping, because the machine will not accept a gap. The cost is that a reader now has to read code to check your reasoning.

Example

Best when the rule runs over many items and every item must be handled the same way.