Meraki & Holos Proofs