< * for all x >