Verified RACAFNetworking