are these enough proofs to support each arguments ​