Clippy comments on Branches of rationality