mutual fixedpoints