model: introduce the bottom type