A pencil is not a pencil is not a pencil — LessWrong