Kr eli man n - C / t atrian * ).