$k = $ 1.5
Level curves are sets of points $(x,y)$ where $f(x,y) = k$, for some chosen constant number $k$. When we lift the level curves up onto the graph, we get "horizontal traces."