Kibble: Complement anaphora and witness sets