Theoremproving
[计] 定理证明
🗣️ 情景例句
you had some doubts about wanting to go to Michigan.
你对上Michigan大学有些疑虑。
You know the proverb, Smile and the world smiles with you, cry and you cry alone.
要知道有句格言“微笑，世界与你同欢乐；哭泣，你只能独自悲伤”。
and it seemed as though everything she possessed had been tossed out and turned over and over.
看来她的每一件东西都被翻了出来，并且被里里外外看了遍。