Anfonwch hwn fel neges destun: Proper Functors and Fixed Points for Finite Behaviour