Oops! I forgot how contrapositives work for a moment.

Please ignore the previous two patches.