generated at
結合律子