Adds general conditions for equality; renames some corollaries to propositions.