An invariant is a statement of a property that's always true. #historical https://tiny.tilde.website/system/media_attachments/files/000/152/401/original/f639f755aca74b11.png