cardinal sum