PPC.Cond
data Cond