bimodulus

not defined yet