Proper equals on servers