Intermediate results plus some simplifications.