Title: Restricted Congruences in Computing