; #diminish