abstract dynamics