rewriting knownset, no contracts for now