Improving legibility of natural deduction proofs is not trivial (Logical Methods in Computer Science, 2014)