(↑a-↑c)垂直(↑p-↑a)