[200~ Keywords - symbolic logic constraints – Iris