simplify Main