Implementing and Testing ReOrder(s1, s2, s3, s4) ...