K-universal binary string done