process.stdin.resume();
process.stdin.setEncoding('utf8');

process.stdin.on('data', function (chunk) {
    let line = chunk.toString().split(' ');
    let x = parseInt(line[0]);
    let y = parseInt(line[1]);
    let z = parseInt(line[2]);
    if (x < y && y < z) { 
        console.log("Yes");
    } else {
        console.log("No");
    }
});
