Random utilities and scraps that I have collected or written