$P_1$: Exists parallel.