const input = require('fs').readFileSync('/dev/stdin', 'utf8');
const lines = input.trim().split('\n');

while (line = lines.shift()) {
  const numbers = line.split(' ');
  const a = numbers[0];
  const b = numbers[1];
  const c = numbers[2];

  if (a < b && b < c) {
    console.log("Yes");
  } else {
  console.log("No");
  }
} 
