some contract + KnownsState => KnownState