何をやったか忘れるので,`add(*):`のコミットが`master`にマージされたらIssueを立てるぐらいのことはやってもいいのかもしれない. https://github.com/FormalizedFormalLogic/Catalogue/issues