Intermediate Logic