Is `Lvert` the run or the rise? I am not sure I understand what `gradhi` represents physically.