Thread the symbol through the prelude
Better var names