z3: any = P3