Oplus_0 | ← Oplus_0