A movement to promote the constant tracking of one's physical activity, diet, and other personal metrics in order to gain insights for self-improvement; the practice itself.

In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas.