the second part is never true if the first part is false