Use fixpoint of V. Fixes #18