Moved annotations to own library.
Generalize isConnected().