LOGIC AND THE KELLER PLAN