Multiple variable fixpoint