Log in to Logic of Autonomous Dynamical System