K-> P

IMPLY