Use better specifications.