Գրեք սա: Intermediate logic