And, whatever the reason may have been, it seems to me quite certain that cannot be properly expressed either by implies or by If then although can be properly expressed by If anything has, then that thing has.