Some more ugly code with pretty printing. Now requires blessings (the library).