Thus if has come about it is necessary that A has come about; and is the explanation for if came about it is necessary that has come about, and if has come about it is necessary that A has come about earlier.