Mały formalnie udowodniony DSL z konstrukcji do => bpf byłby fajny.
53