'use strict';
(function(stdin) {
  var inputs  = stdin.toString();
  var cols =inputs.split('/n')[0].split(' ').map(Number);
  var a = cols[0];
  var b = cols[1];
  var c = cols[2];
  if (a<b && b<c){
    console.log('Yes');
  }else {
    console.log('No');
  }


  
 
  
}(require('fs').readFileSync('/dev/stdin', 'utf8')));