Change Details

This is an iterration on what proofs might look like.

This is an iteration on what proofs might look like.

This is an iterration on what proofs might look like.