Analysis document, revised by Johann and Yang