generated at
自同律