A predicate satisfying the HBL conditions provably mirrors all provability facts, so the distinction...