CS Notebook

2.2 The idea of elimination