HKS 2012 Formal