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

public class Main {
	/*??¶?´???????????????????*/
	public static void judge(int parse[],int leng){
		for(int j=0;j<leng;j++){
			if(parse[j]<0||parse[j]>100){
				System.out.println("??\?????????0~100??\???????????§???.???????????????.");
				System.exit(0);
			}
		}
	}

	 public static void main(String[] args) throws IOException{
		int a,b,c;
		String str;

		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		str = br.readLine();

		/*???????????£?¨?*/
		String[] st = str.split(" ");
		int len=st.length; //?????????????´???°
		int parse[] = new int[len]; //String???int????????¨??????

		for(int p=0;p<len;p++){
			parse[p]=Integer.parseInt(st[p]); //String???int??????
		}

		a=parse[0]; b=parse[1]; c=parse[2];

		judge(parse,len); //??¶?????????.????????????????????°????????????


		 /*for(int i=0;i<st.length;i++){
		 System.out.println("st["+i+"]="+st[i]); //?????????????´??¢????
		 }*/

		/*????????¨????????????*/
			if(a<b&&b<c)
				System.out.println("Yes");
			else
				System.out.println("No");



	}

}
/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