bare bones of an introduction
remove strict and dagger categories