Restricted congruences in computing. (2020)