Contracts, annotations, and interfaces.