precongruences