. . . "A programmable antifuse, on the other hand, is a device that is open in its unprogrammed state and closed when programmed." .