FMapPositive (no proofs).