I don't think they include areas where correctness, determinism or human reasoning are important.
At least, not in isolation.