Restructured base_reduct