Not needed proof. More deletion.