generated at
推測過程