descriptions only rely on empirical presentations of formulas without clear