Fixed point theory (locally (α,β,ψ) dominated contractive condition) — LessWrong