Logic Division