My bussy is non-deterministic.