reducibly

not defined yet