^egevipvocef ?- @ n inf.