logicOnAbstractions