What is valid conclution if ​