2018-10-04 Nadia Babcock Proofs - i4detail