name,is_strict,transformations_hr Lex,0,natural transformations