congruential
not defined yet