Kann ein Kontakt auf Whatsapp verschwinden?

Ich habe so eine Klassengruppe auf Whatsapp. Und ich habe auch alle in der Gruppe unter meinen Kontakten eingespeichter. Einer geht jetzt aber nicht mehr in meine Klasse und hat die Gruppe verlassen. Jetzt ist er aber auch aus meinen Kontakten verschwunden. Ich brauche seine Nummer zwar nicht, aber trotzdem frage ich mich warum der Kontakt dann einfach so verschwindet. Auch wenn er jetzt nicht mehr in der Gruppe ist, müsste er doch noch unter meinen Kontakten sein, wenn ich ihn eingespeichert habe, oder?