👤

p' => (p^ q') '

cvp acill​