Code written to document agreements among engineers and domain experts. "Ah, so we agree that cars have wheels and wheels don't necessarily have cars, so in a class declaration that looks like ..."