I have been reading some papers where I keep reading stuff like `first-order formula modulo a background theory`. Does anyone know what modulo means in this case ? Is it something like with respect to ?