more fixpoint design