p * 1 V 7 S^as)