Find!
v1 is a NOT gate / inverter with input [pin] v2 and output [pin] v3 in circuit/system v4.
Cf. jitfa, lojvro.