Summand definitions