process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk)
{
  var x = chunk.split(" ");
  x[0] = Number(x[0])
  x[1] = Number(x[1])
  x[2] = Number(x[2])
  if ((x[0] < x[1]) && (x[1] < x[2])) {
    console.log("Yes")
  }else{
    console.log("No")
  }
});