What should we print?