It would be cool if someone could double check these conversions (indeterministic evaluation order -> deterministic evaluation order).