Little Pretty Automatic (Extended Version)

Green Cat