s/asume/assume