  It is hard not to conclude from these discussions that the permutation invariance criterion gives at best a necessary condition for logical constancy. Its main shortcoming is that it operates at the level of reference rather than the level of sense; it looks at the logical operations expressed by the constants, but not at their meanings. An adequate criterion, one might therefore expect, would operate at the level of sense, perhaps attending to the way we grasp the meanings of logical constants.