added 19 without 3 proofs