workspace->hasMember($user); } }