logic and idiom