[Eisenstein]

I think the 'have to be' is using a strange syntax for what should be 'what probability does {a} have of being a {b}'