conditions and expressions unified