EditsJB - PROOFSJB - Proofs II