Building Defensible Proof and Tender Systems for Lula Laboratory