They will specify on what conditions a statement is possible either in every true world , or some possible .
They will specify on what conditions a statement is true either in every possible world , or some possible .