PRIE A2 TZ task1 Sem formal