Do we know the formula explicitly or is it just guess work?