The Core Model: Examples of K