. "and J is a group." . . .