Messages update
Fix the OR-Set Test so it passes