Top Ramen implies the existence of Bottom Ramen...