let
formatES k = (formatE k)^(formatSJn k)^
"\n"