ParentFull threadmaho·I disagree: "Ax = b" is a statement. It does not need to be true. This is quite useful and often used for "proofs by contradiction".View on HN