Prove itno_conserves_keys! :)