DSL pequena formalmente comprovável por construção para = > bpf seria legal.
60