Copat/CographsTheorems added.