A Word For Not Needing To Be Proved