A fair distinction, but I'm not claiming that deduction and intuition are the same. Rather, I'm saying it is easier to change the patterns you expect if the ne

A fair distinction, but I'm not claiming that deduction and intuition are the same. Rather, I'm saying it is easier to change the patterns you expect if the new patterns are simple and regular. If by intuitive we mean "matches the patterns that other people expect (e.g. git/svn)" then obviously Pijul is not intuitive. But if once one learns the basics, it becomes fairly easy to infer what the tool will do in more advanced cases, then one might say it is at least "intuitable".