minor edits to assuming