Invia SMS: Reale Abstraktion und reelle Subsumtion