S -> I
S -> V + V_e
V -> I
I -> R