x
On Abstract Systems — LessWrong