Data Structure Choice - Formal Different by Ssu-Cheng Liu