[bjourne]

Yes, barely. :) Implications work as the following code:

    def f(n):
        if is_prime(n):
            return not is_even(n)
        else:
            return True

What is the value of f(6)? True is returned in the else-clause because this is an example of a vacuous truth. https://en.wikipedia.org/wiki/Vacuous_truth