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

if(a[0] > b[1] > c[2]){
 console.log("Yes");
}else{
console.log("No");
}
});