Some interesting fault trees. And a failed one, there is an interesting bug.