call temp_tight_equality to get translation of repl module to work