Comment by brap

It’s good that they made it not turing complete but they should probably also force an upper bound on law complexity