Theory+-+Algorithms+and+Sub-Programs