Lots of hard work has been done, many new hypotheses hypothecated, and all sorts of formalisms formulated.

• 人们已经做了大量的艰苦工作,提出了许多新的假设,并化成了各种各样的公式。