1.79/2.11	muterm: Error (Terms): Symbol D has no 3 arguments.
1.79/2.11	EOF