first try on proof tree