Require diminish explicitly