generated at
左単位律