Negatio contrarii by Hoffmann