k \cap p = \{A_1, A_2\}