Work towards getting tie breakers and prettier printing