printed out states correctly.