x
contravariant — LessWrong