lenz's law and minor clarifications