let content = '';
process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', buf => { content += buf; })
process.stdin.on('end', () => {
  const [a, b, c] = content.split(' ').map(n => parseInt(n, 10));
  console.log(a < b && b < c ? 'Yes' : 'No');
});
