bad: ↥(S + S)
ok: 0(S + S)