File:Doubledefinitions3.jpg