(public-speech import sentinel)

If such a chain is found, the instance cannot be satisfiable.