They are indeed. You seem to have added a level of indirection not present in the original statement. One statement is about this world, the other is about possible worlds.
They are indeed. You seem to have added a level of indirection not present in the original statement. One statement is about this world, the other is about possible worlds.