picture for down operator on cycles
start writing about generating functions