Revising, Latex'ed Yizhi's updates