process.stdin.resume();
process.stdin.setEncoding('utf-8');
process.stdin.on('data', function (chunk) {
	var a = chunk.split(' ');
	var b = parseInt(a[0],10);
	var c = parseInt(a[1],10);
	var d = parseInt(a[2],10);
	if(b<c && c<d)
		console.log("Yes");
	else 
		console.log("No");
});