cfapru lujvo

p1 is preliminary to c1=p2's beginning.

In notes:

tolcfabalvi
x1 (event) happens in the aftermath of x2; x1 happens after the end of x2