Make up quite formal theory and build models as well as you can.
全くの形式的理論を、様々なモデルを、可能なかぎり良く構成せよ。