General discussion of grounding, including its formal features, relations to other notions, and applications. (Originally published 2014; revised 2021).