Intermediate Logic Nance