process.stdin.resume();
process.stdin.setEncoding('utf-8');
let input_string = '';

process.stdin.on('data', (chunk) => {
    input_string += chunk;
});

process.stdin.on('end', () => {
    let lines = input_string.split('\n');

    const input = lines[0].split(' ').map(x => parseInt(x));
    let result = false;
    for(let i = 1; i < input.length; i++) {
        result = input[i-1] < input[i];
    }
    console.log(result ? 'Yes' : 'No');
});
