See MMT, lines B18-23.