code: def BoolS(name, explicit_name=None):
      
      n = _make_name(name, -1, False if explicit_name is None else explicit_name)
      return Bool('BoolS', (n,), variables={n}, symbolic=True)
docs: Creates a boolean symbol (i.e., a variable).
  
      :param name:            The name of the symbol
      :param explicit_name:   If False, an identifier is appended to the name to ensure uniqueness.
  
      :return:                A Bool object representing this symbol.