reddenda

not defined yet