The inductor1 and inductor1 are the names of the two coupled inductors found elsewhere in the circuit, and value is the coefficient of coupling, K, which must be greater than 0 and less than or equal to 1. Using the ``dot'' convention, one would have a dot on the first node of each inductor.