Full threadsecos·ah yes.Lets indeed treat non-deterministic output exactly like we treat deterministic output.View on HN