predict and prove first three exercises in the section. next one seems hard