<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def Not(a: Bool) -> Bool: """Create a Not expression. :param a: :return: """

    return Bool(z3.Not(a.raw), a.annotations)