(public-speech import sentinel)

In other words, if A requires B, it requires any true statement.