The formalization of balance theory as an explanation of one-step dependence