ByNobleID
    Does observability imply diagnosability | NobleID