"Conversion of a proposition from all A is B to all not B is not A"

Crossword

a puzzle consisting of a grid of squares and blanks into which words crossing vertically and horizontally are written according to clues.