process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var nums = chunk.split(" ");
    for(var i = 0; i < nums.length; i ++){
        nums[i] = Number(nums[i]);
    }
    var output = "No";
    if (nums[0] < nums[1] && nums[1] < nums[2]){
        output = "Yes";
    }
    console.log(output);
});