Working on Util.distribution and FilteredStateStream