A local sink is a node of a directed graph with no exiting edges, also called a terminal (Borowski and Borwein 1991, p. 401;
left figure). A global sink (often simply called a sink) is a node in a directed
graph which is reached by all directed edges (Harary 1994, p. 201; right
figure).
