שליחה במסרון: Faithful rule extraction for differentiable rule learning models