Claim A. Varela's family construction | VerifiedNode