P
Initializing...
The ≺_θ-least sink fourth term can always be appended (no sink deadlock) · Prove2Me