File:Doubledefinitions2.jpg