3. Bob wrote a property in CTL: EGEFp. He claims that if a state in a Kripke structure satisfies the property, then that implies the existence of a path where each state in the path satisfies p. Alice disagrees. Do you agree with Bob or Alice? Explain. (4) 3. Bob wrote a property in CTL: EGEFp. He claims that if a state in a Kripke structure satisfies the property, then that implies the existence of a path where each state in the path satisfies p. Alice disagrees. Do you agree with Bob or Alice? Explain. (4)