Whether proceedings brought fall within carve out clause