Template:Definition by cases