We need less powerful languages