Switched to componentwise relations. Now working on properties of folds.