Multiplicative logic in arithmetic | Synapse