Translated up to lecture #12.