Compounded compound conditionals