接着你得学会先推论、再抽象