Interface MustEffectiveStatement