Initial define on discrete dynamics world
state that everything has tests