Given premise 1: Info not false → Won't reveal identity Contrapositive: Reveal identity → Info false Is there supposed to be a distinction made between promising to not do something and actually not doing something? The way it is written out now, it seems to me like you could chain up premise 1 and ...