簡単のため、公理を持たない、あるいは同じことだが空な公理集合を持つ自然演繹体系を使うことにする。命題論理は、主として整式同士の論理的関係性を示すために用いられる。このために、利用可能な（整式の）変形規則を使って、「証明」もしくは「展開」と呼ばれる手続きを行う。証明は、番号のついた複数の行からなる記述によって表現される。それぞれの行は、「根拠」もしくは「理由」をそえた、当該の整式を導き出すための単一の整式（論理式）とする。証明を行うために必要な仮定は、「前提」と注記し、証明のはじめの部分に置く。結論は最後の行に示す。すべての行の内容が、それ以前の行の内容に基づき、（整式の）変形規則を正しく適用して得られたものであるとき、証明が完了したとみなされる。（なお、タブローの方法という別の記述方法もある。）
1754年、ムガル帝国の宰相にしてアワド太守であったサフダル・ジャングが死亡したのち、建設された。のち、この廟の付近にミールザー・ナジャフ・ハーンの墓廟が建設された。
私生活では、2003年1月3日に『恋の骨折り損』で共演した女優エミリー・モーティマーと結婚。同年9月26日に長男が誕生。2010年に娘が生まれた。現在はニューヨークに住んでいる。
マサチューセッツ州ボストン出身。父親はイタリア系で、母親はユダヤ系ドイツ人の血を引く。エール大学（専攻は英文学）在学中に俳優を志し、ブロードウェイを中心に活動。1997年公開の『フェイス/オフ』で映画デビュー、ニコラス・ケイジの弟役で注目を集める。
11月以降、所属選手であった越中や大森が、他団体に参戦するようになり、長州もプロレスリングZERO-ONEを主戦場にハッスルなどにも参戦するようになった。越中らの他団体参戦について、永島の著作によれば、「所属選手に対して、経営不振によるギャラの40％カットと引き換えに、専属契約の解除を行った（専属フリー契約）ため」とされている。長州の弟子である佐々木も12月に退団し、以降、長州との関係改善は図られていない。2004年1月、後楽園ホール大会で、中嶋勝彦のプロレスデビュー戦を行った。このとき中嶋は15歳9か月であり、男子では史上最年少デビューのプロレスラーとなったが、3月に中嶋は保障上の不安から退団する。福田社長は経営及び出資から手を引き、5月に社長は轡田浩二へと変更し、興行以外での新規事業での再建を図るも頓挫。その後も不定期に単独興行を打っていたが、8月13日には、最後まで残った所属選手が、WJから分離して設立されたリキプロへ移籍。長州自身はWJに残留する（ただし一部のメディアではリキプロ所属とされる）も、WJとしての活動を停止した。
フラッグシップタイトルとしてWMGヘビー級が制定され、7月20日に両国国技館大会で行われた「WJ最強決定トーナメント」の優勝者である佐々木健介が初代王者に認定されたが、当日までにチャンピオンベルトの完成が間に合わず、ベルト贈呈無しの新王座お披露目となった。7月28日、プロレスへの転向を希望していた総合格闘家のジャイアント落合が、WJ道場での練習中に意識を失い、急性硬膜下血腫により死去した。なお、練習に立ち会っていた長州は、日刊スポーツのインタビューにて、「前方回転の受け身を取ったあと足元がふらついて倒れた」と証言しているが、落合の師匠格にあたる佐竹雅昭は、「受け身でそんな大きな事故にはならない」と格闘技通信にコメントしている。これに対して永島は、自身の著書の中で、「（落合は前日に徹夜でアルバイトを終えてから道場にやってきて）『気分が悪い』と言っていたので見学させていて、ほとんど練習はしていない。このことは警察の実況検分でもこちらの言い分がすべて認められている」、「佐竹のマネージャーに経緯を説明して、佐竹にもちゃんと伝えるように頼んでおいたのに、ある時を境に向こうからの連絡が一切来なくなり、挙句の果てに一方的にWJに責任を押し付けようとした」と反論をしている。
毎年8月2〜7日まで開催される。このうち8月2〜6日が夜間運行である。7日は昼間運行であるが、夜に海上運行と花火大会が催される。また、8月1日には前夜祭が行われる。開催にかかる費用は、約2億2000万円。青森のねぶたには大型ねぶた、子供ねぶた、地域ねぶたがある。子供ねぶた、地域ねぶたは主に町内会が主流となって運行するねぶたであり大きさも普通の大型ねぶたより一回り小さい。子供ねぶたは8月2・3日の2日間運行される。大型ねぶたは開催期中必ず運行されるが、奨励金の関係か2日と3日は大型ねぶたの運行台数が少ない。昔は雨天中止になることもあったが、現在は雨天でもビニールをかぶせて運行される。ただし、ねぶたの形によっては一部がビニールに穴をあけてはみ出してしまうこともある。ビニールを突き破るのは持っている武器等細長い物や尖った物が多いが、馬の顔が突き出していたこともある。また強風によりビニールを飛ばされてしまうこともあり、そういった場合には運行終了後に修復しなくてはいけなくなる。平成30年度より㈱フォルテが「ねぶた アプリ」をリリースしており、全ての大型ねぶたに位置情報端末（GPS）を取り付け、利用者がアプリをダウンロードすることで、ねぶたの位置情報をリアルタイムで把握できるほか、ねぶたが利用者に近づくと、そのねぶたの団体名や制作者、詳細説明などを設定した言語で自動的に音声解説してくれる。現在、対応言語は日本語、英語、中国語（繫体字、簡体字）、韓国語の5言語である。