PKaA.z > PK7&$PK