numerical checks from printing to console and objVsK_senate() check out ok