Still non-deterministic answer, just playing with dummy vars...