~ Fix set filter.
~ Update invariants.
~ Fix Read instance.