 Associated with each non-basic truth is a structured collection of supporting truths (grounds, grounds of grounds, and so on). Bolzano depicts such collections as trees (TS, §220). In some cases, dependence relations proceed ad infinitum , e.g., the grounds of a truth describing a contingent state of a created substance (TS, §216). In others, the branches terminate in basic truths.