The aim of this activity is that you learn how to reduce and increase formulae.