Completely prove un_minimal. :)