Ik
.
Acyclic
(
P
)