File:Doubledefinitions1.jpg