Checking for contradictions could be easy, hard or impossible depending on the architecture. Architecture dependence is the point here.
Checking for contradictions could be easy, hard or impossible depending on the architecture. Architecture dependence is the point here.