An elementary school in Texas is planning to take Robert E. Lee’s name off the building, and the administrators solicited suggestions from the public:

The recommendations for the future name of Robert E. Lee Elementary in Austin were released, Friday.

On March 28, the Austin ISD board voted to rename the school, after hearing feedback from the community and school parents. While the board asked for recommendations, they will have final say on the name, regardless of number of nominations.

The most suggested name so far?

Trump is the top suggestion, but there have been many others:

Unsure at the moment.