Executable Assertion Crossword