added contrapositives