Intermediate Logic Package (3rd Ed)