process.stdin.resume();l
process.stdin.setEncoding(''utf8);
process.stdin.in('data', function(chunk){
 
var line = chunk.toString().split(' ');
var a = Number(line[0],10);
var b = Number(line{1},10);
var c = Number(line{2},10);

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