Interesting. Scratch those sources when it comes to the Czech proofs....


Pete