Update of Lapp-Powers Fault-Tree Synthesis Algorithm

The original paper used an example about which there has been considerable discussion. This note shows that the original analysis was correct, and that sematic difficulties are difficult to avoid.