Logical Warm-Ups by Bill Bachman