Ssu-cheng Liu

• Data structure choice / formal differentiation