Logical Illustration