CAVs: ProofsShadow Wolf: ProofsGecko: ProofsMongoose: ProofsBlack Box: Proofs