DSL kecil yang dapat dibuktikan secara formal dengan konstruksi hingga => bpf akan keren.
43