removed comments to cross-proof