process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var x = chunk.toString().split(' ');
    var a = Number(x[0]);
    var b = Number(x[1]);
    var c = Number(x[2]);
    if (a < b && b < c){
        console.log("Yes");
    }else{
        console.log("No");
    }
});