Is doing Shelf-NF, working on Shelf-FF next