A theorem whose premises invoke physically unrealizable models yields conclusions whose modal force ...