process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (input) {
    var num = input.split(' ');
    //??????????????°??????????????????
    var a = parseInt(num[0]);
    var b = parseInt(num[1]);
    var c = parseInt(num[2])
    if ((a < b) & (b < c)) {
        console.log('Yes');
    }
    else {
        console.log('No');
    }
});