van der Krogt 2:501, 2:503, 2:511, and 2:521.