(function Main(){
    var input = require("fs").readFileSync("/dev/stdin", "utf8");
    var v = input.split(" ");
    var a = parseInt(v[0], 10);
    var b = parseInt(v[1], 10);
    var c = parseInt(v[2], 10);
    
    if(a < b && b < c) console.log("Yes");
    else console.log("No");
})();
