name,is_strict,transformations_hr Prof,0,natural transformations