cosmetics
+formula handling
+verbose arg