const gInput = require('fs').readFileSync('/dev/stdin', 'utf8')
const input = gInput.split(' ').map( s => parseInt(s))

const a = input[0]
const b = input[1]
const c = input[2]

if( a < b && b < c ){
    console.log('Yes')
} else {
    console.log('No')
}
