Throughout the book we use the convention of capitalizing keywords in our example languages to avoid potential conflicts with the Caml language.