Comment by thunderseethe

What are you calling bidir, if the introduction of unification means its no longer bidir?