improve wording in logicaluncertainty