Add cond() and print_dotted_pair()