Distinctness is only required for the _dep's_ binding vars.