Refactored the pretty shows out of Logic.SecPAL.Language