contravariant — LessWrong