x
axiomatic — LessWrong