 It is often useful to take a more fine-grained look at the truth-functions in play in the above discussion. Assuming the identification of n-ary functions with certain (n+1)-ary relations and the latter with sets of ordered (n+1)-tuples, we use the term determinant for the elements of a truth-function. Thus the four determinants of the truth-function f→ associated with → on →-Boolean valuations are ⟨T, T, T⟩, ⟨T, F, F⟩, ⟨F, T, T⟩, and ⟨F, F, T⟩. Note that the final entry is the ‘output’ value for the function concerned. Such determinants will occupy us extensively below.