implements FlushableConstraint