The 1st language isn&#x27;t just <i>simpler</i> to verify for correctness, the 1st language is <i>possible</i> to verify, while the 2nd is not verifiable. Turing complete languages are a singularity beyond which we cannot reason about behavior for arbitrary programs. For many tasks- installation scripts, serialized data, etc- it is <i>extremely undesirable</i> from a security standpoint and for the purposes of writing tooling to permit arbitrary computation.