a™b [ gt ™b [ gt 4 set.