Use when applying the Journal of Economic Theory (JET) house style to a manuscript — the Elsevier elsarticle theorem-proof format with definition/assumption/proposition/theorem/proof structure, disciplined notation, full references in the abstract, 250-word abstract, 1-7 keywords, optional Highlights, and author-year proof-stage references. For drafting and polishing JET prose; it does not check proofs.