Een klein formeel bewijsbaar DSL door constructie naar => bpf zou cool zijn.
56