SMS versenden: Proper Functors and Fixed Points for Finite Behaviour