any function from indices to things, is that function from indices to truth values such that, for any index, truth if is something which grunts at the world and time given by the appropriate coordinates of falsity otherwise.