bit of progress on fixpoint functions