On adding a head we make of it P, the
KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL