Notes for Schema theory - IB