Idan Arye comments on Why didn’t we find katas for rationality?