2  tablespoons olive oil 1  clove garlic, crushed 1  can (8 ounces) sliced mushrooms, drained, or 1 pound fresh mushrooms, sliced 1  can (16 ounces) tomatoes (undrained) 1/3 cup tomato paste 1  teaspoon salt 1/4 teaspoon ground pepper 3  cups water 11/2 teaspoons salt 1  cup enriched cornmeal 1  cup cold water Grated Parmesan or [...]