Solving redisco problem