Remove the rest of the Theoretical Elementizer references