And if not statically verifiable, go with the weak...
# announcements
c
And if not statically verifiable, go with the weaker option,
Int?