BDDfy in deutsch ;-) Angenommen, Wenn, Dann