verizon wireless device protection

pre: predicate lambda
next: generac serial number decoder