`$k` is not expressive enough