var x = require('fs').readFileSync('/dev/stdin', 'utf8');
input = x.split(/ /);
a = parseInt(input[0]);
b = parseInt(input[1]);
c = parseInt(input[2]);
if ((a < b) && (b < c)){
  console.log("Yes");
} else {
  console.log("No");
}

