'use strict';
(function(stdin) {
    var inputs = stdin.toString();
    var cols = inputs.split('\n')[0].split(' ').map(Number);
    var a = cols[0];
    var b = cols[1];
    var c = cols[2];
    if (a < b && b < c) {
        console.log('Yes');
    } else {
        console.log('No');
    }
}(require('fs').readFileSync('/dev/stdin', 'utf8')));