2 proofs +SPEEDTEST