mainexists