Adjacent relative to well-found beyond everything a difficulty lam

13 November 2023