HW2 finished except enumerate all ST