menu definition mit []