[16] The simplest forcing, and the only pure forcing, is
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