The bounded and precise word problems for presentations of groups.