Dirichlet-to-Neumann's Shortform — LessWrong