if a trait is unknowable, but its super trait is definitely not implemented, then the trait itself is definitely also not implemented.
lcnr