  We highlight the presence of a ground state in the $\infty$-categorical
Grothendieck construction of Lurie, further developed by Arakawa, in which both
straightened and unstraightened pictures coexist.
