Add some problems and definitions for Chaper 1