Stav dette: Investigating tasks in formal language learning