/* ITP1_2_B */

import java.io.*;
import java.util.*;

public class Main {
  public static void main (String[] args) throws java.lang.Exception {
    // 入力された値をゲット
   Scanner sc = new Scanner(System.in);

   int a = sc.nextInt();  // 1個目をaにセット
   int b = sc.nextInt();  // 1個目をbにセット
   int c = sc.nextInt();  // 1個目をcにセット

   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