added new version of third proof
renamed psd