missing conclusion and proof