K. Carl i= :tc