is several informal. There are any references about is several informal in here. you can look below.