Server now uses an immutable set