(function(stdin){
	var lines = stdin.toString().split(' ').map(Number);
	var resolt = (function (a,b,c){
		return (a < b && b < c)? "Yes":"No";
	}(lines[0],lines[1],lines[2]));
	console.log(resolt);
}(require('fs').readFileSync('/dev/stdin','utf8')));