Make Pivot's bijection implicit.