Version 3

    Conditional Elements

    or

    and

    not

    forall

    logical