mixed logic