- Changed to list copy instead of manipulating the iterator
 - Added relations between worlds as new Formulas