How to Redline Contracts with AI