A wholistic theory integralized with (projected) miniapps