Why Write Simpler Contracts?