Davor's solutions to the fixed point challenge