generated at
可逆律