Disclosed herein are photopolymerizable compositions and formulations that comprise photochromic dyes, photochromic blue light blocking dyes, permanent dyes, permanent blue blocking dyes, andor their combinations. The memory card socket has a body for receiving a memory card, many pins to electrically connect to the memory card, two elastic members for holding the memory card, and a blocking member for restraining one of the two elastic members. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. The cable is passed through the hollow fastener of the support base.