'Generic predicate.
``ask(Q.is_true(x))`` is true iff ``x`` is true. This only makes
sense if ``x`` is a predicate.
Examples
>>> from sympy import ask, Q, symbols
>>> x = symbols(\'x\')
>>> ask(Q.is_true(True))
True'

@predicate_memo
def is_true(self):

    return Predicate('is_true')
