Necessary a posteriori
Redirect to:
A posteriori necessity