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