a dkv és a logika sosem voltak haverok.