We don’t trade with ants — LessWrong