Perhaps the or was dropped for ease of typing, and also readability/parsing?

		JoBrad on Dec 13, 2020 \| parent \| context \| favorite \| on: If-then-else had to be invented Perhaps the or was dropped for ease of typing, and also readability/parsing?