The Lookup routine currently consists of 48 procedures each of which, in effect, add infinitely many certificates to a virtual lookup table. 

The following table summarizes the number of formulas in Lookup by their classification: