Adding finilaziations