> To use a :- promise declaration you would > have to trust the author. It seems like you'd also have to trust the author to write bug-free code too...