Under construction >If it is possible that something is $F$, then something is such that it is possible that it is $F$. ## Related concepts * [[de dicto and de re]] [[!redirects Barcan's formula]]