Sentinel or Dummy Nodes
It reduces conditional logic for head insertion and deletion.
It makes merging linked lists easier.
It simplifies removing a node after a known predecessor.
The sentinel is not considered part of the logical data.
It can make code easier to prove correct because boundary cases become ordinary cases.