contradiction matrix