Robots need formal specification languages, to tame non deterministic compilers.