unproved (proved + un-; negation)
Not proved