How to Write Contracts (Using AI)