Orders two proof sets