#let trans = (
 en: (Proposition: "Proposition",
      Theorem: "Theorem",
      Table: "Table",
      Figure: "Figure",
      Assumption: "Assumption",
      Definition: "Definition",
      Corollary: "Corollary",
      Lemma: "Lemma",
      Remark: "Remark",
      Example: "Example",
      Claim: "Claim",
      Fact: "Fact",
      Proof: "Proof" 
    ),
jp: (Proposition: "命題",
      Theorem: "定理",
      Table: "表",
      Figure: "図",
     　Assumption: "仮定",
      Definition: "定義",
      Corollary: "系",
      Lemma: "補題",
      Remark: "注意",
      Example: "例",
      Claim: "主張",
      Fact: "事実",
    　Proof:"証明")
)

#let plurals_dic = ("Proposition": "Propositions", "Theorem":"Theorems", "Lemma":"Lemmata", "Definition":"Definitions", "Table":"Tables", "Assumption":"Assumptions", "Figure":"Figures", "Example": "Examples", "Fact":"Facts")
