009. This is a proposition