This shows that the change of energy in the Josephson junction depends only on the initial and final state of the junction and not the path. Therefore, the energy stored in a Josephson junction is a state function, which can be defined as: