let name = "Wp.LogicDef.Declarations"