Made contradictions appear as boxes with x's. Changed
leadsToContradiction() to use contradiction-boxes.