function main(input) {
	var a = input[0].split(' ');

	if((parseInt(a[0]) < parseInt(a[1])) & (parseInt(a[1]) < parseInt(a[2]))){
		console.log("Yes")
	}else{
		console.log("No")
	}
}

var input = '';

process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function(chunk) {
  input += chunk;
});
process.stdin.on('end', function() {
  input = input.split('\n');
  main(input);
});