Grover sketches miscellaneous