Según Backus: