semiproven

not defined yet