var input = require('fs').readFileSync( '/dev/stdin', 'utf8' );
var arr = input.split(" ");
var a = arr[0] - 0;
var b = arr[1] - 0;
var c = arr[2] - 0;
var str = "";
a < b && b < c ? str = "Yes" : str = "No";
console.log(str);
