claim !p:set prop.~ (?x:set.p x) -> !x:set.~ p x