nomenclature tip, yes.
conjecture tip, no.