function Main(input) {
  line = input.split(' ');
  for (var i = 0; i < line.length; i++) {
    line[i] = parseInt(line[i]);
  }
  if (line[0] < line[1] && line[1] < line[2]) {
    console.log('Yes');
  } else {
    console.log('No');
  }
}
/*
function debug() {
  var input = document.getElementById('id1').value;
  Main(input);
}
*/

Main(require("fs").readFileSync("/dev/stdin", "utf8"));

