k-universal function