Notes on John Levine's flex & bison