Pieni muodollisesti todistettavissa oleva DSL rakenteeltaan => bpf olisi siistiä.
59