theory Post_All imports Post_COMPOSE2 Post_Network DYNAMIC_Post_COMPOSE2 DYNAMIC_Post_Network "Independent_Posts/Independent_Posts_Network" begin end