clean + literals to be explored not atoms