>>929
 ^p^
∧(i)∧