VV

\(~.0)/

identify∨ works (2)