How about not having turing complete language where it doesn't make sense?