Үүнийг мессежээр илгээх: Constraint reasoning for differential models