P

Initializing...

After a sink step, the sink passes back along the path: the previous third term becomes a true sink · Prove2Me