( (empty ( (empty empty ) empty ) ) empty )