Philobservations 23: Proper functions exist!