Код загрузки PHP не работает

Не мог бы кто-нибудь, пожалуйста, сказать мне, почему этот фрагмент кода не работает. Я хочу, чтобы пользователь загрузил файл "tokina.pdf" после того, как он отправил данные пользователя, страница перенаправляется на страницу входа, если какое-либо поле пусто. Но этот фрагмент кода всегда запускает процесс загрузки, даже если пользовательские данные неверны.

Спасибо

<?php


$name = $_POST["name_first"];

$mail = $_POST['email'];    

$number = $_POST['phone_number'];

echo "Name : $name";       
echo '<br>';    
echo "Email-ID : $mail";     
echo '<br>';    
echo "Phone-Number : $number";       
$email_message = "first name: {$name} email is {$mail} number is {$number} ";     
mail('[email protected]', 'Form Response', $email_message);        
if ($mail == "" && $name == "" && $number == "")      
{

header('Location: m1.php'); (redirect to page where user data is collected)
echo "error in submitted data";      
}    
else
{  

//download.php  

//content type  

header('Content-type: application/pdf');         

//open/save dialog box  


header('Content-Disposition: attachment; filename="tokina.pdf"');        

//read from server and write to buffer  

readfile('tokina.pdf');         

}





?>