The Shortest Definition view 3