True without any assumptions

Distinguished from dependent truth