Title: Intermediate logic