Logic Illustrated