Doesn't make sense to indent the defenition term too