However, to conclude that under this condition would not have believed that, so that the third condition is preserved for, one must assume that even if had not believed that, would have retained the belief that and are logically equivalent (even if had not been the case).