Functional encryption keys can be selected based on a set of criteria that facilitates efficient decryption of ciphertexts. The device includes a gear train for reducing a rotational speed of a motor and a mechanism for converting a rotational motion to a linear motion of a valve shaft. More specifically, the fuel pump is a gear pump. Some embodiments include photomask constructions in which a radiation-patterning topography is across a reticle base, with such topography including multiple pillars that individually contain at least seven distinct layers. Still further, the ESD device can include a first trigger contact and second trigger contact comprising highly doped regions of either conductivity type, the first trigger contact disposed at a junction between the first well and the second well, and the second trigger contact disposed at either well. When a post-operation command modifies one or more second entities of the change set, the second entities are re-validated.