x
⟨M,N,ε,δ⟩-agreement — LessWrong