  Granted, standard logical languages do not have a simple expression for this function, but there is no reason in principle why we could not introduce such an expression. Conversely, not every first-level function is (intuitively) nonlogical: for example, the identity relation is usually treated as logical.