 Williamson (2007) also argues that non-trivial treatments of counterpossibles create opaque contexts, in which the substitutivity of co-referential terms fails. Supporters of non-trivial counterpossibles will take the following conditional as false: 