(HZ x Scop) x (Scop x Super Pedro)