import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class Main {
	public static void main(String[] args) {
		BufferedReader input = new BufferedReader(new InputStreamReader(System.in));


		  try{
			  //System.out.println("??\???");
			  String ab = input.readLine();
			  String[] strAry = ab.split(" ");
			  //????????????????????\??????????????°????????????????????§???????????????
			  int a = Integer.parseInt(strAry[0]);
			  //??????strAry??????????????????????????????????????????
			  int b = Integer.parseInt(strAry[1]);
			  int c = Integer.parseInt(strAry[2]);
			  //??????????????°????????????????????§strAry?????????????????????????´?

			 if(a<b&&b<c){
				 //a<b<c?????§??????????????§?????????????????????????????????
				 System.out.println("Yes");
			 }else{
				 System.out.println("No");
			 }


		    }catch(IOException e) {   System.out.println("Exception : " + e);
		    }


	}


}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz