Proofgold Term Root Disambiguation

ChurchBoolTru = λ x1 x2 . x1

as obj
-

as prop
6d4d5..

theory
HotG

stx
7e9c3..

address
TMcfo..