a Q

@
P
Q

aQ

@
Q
P

aQ(Q)