Meta-Technicalities: Safeguarding Values in Formal Systems — LessWrong