boring (but precious)