Full implementation of the known set with states
Wrappers for known set functions that use channels