About Metaformula