Ik ben onder de indruk van Jeffrey's algoritmische intuïtie