x
Making A Logical Language — LessWrong