Shestakov

Is it all_objects or user_objects..? I think all_objects is not appropriate here.


Thomas