for teor inf