Made figure smaller, reduced chains of equalities, small edits