Finished preliminary abstract dynamics.py implementation