Petrie's example relies on a non-standard possible worlds semantics that privileges world-level holi...