x
Dirichlet-to-Neumann's Shortform — LessWrong