p q / \ / \ q c => a p ^ ^ a b b c