Analyzing AJ Brown's Contract: A Formal Overview