SIMON RUBINSTEIN-SALZEDO TRANSITION TO PROOFS