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