close to matching nonlocal term, still weird at top level