[Removed SubProof Endings]

    -    They were not worth it .