tests pass but seem slow hmm. pretty printing to blame?