more writing & proofs re: partial bijections