This should be changed. The first negationsLast call is redundant. Should be union then run function.