style change for "must"