Added end on proof environment