PK(H\./PK?(H\A./PK0