pretty printing of consistency stuff