Presburger arithmetic cannot formalize concepts such as divisibility or primality. Binomial coefficients have divisibility properties related to least common multiples of consecutive integers. Any finite collection of divisibility events associated to distinct primes is mutually independent. In commutative algebra, one major focus of study is "divisibility" among polynomials. The exponential distribution exhibits infinite divisibility. It can be used for manual modulo calculation or as a test for even divisibility. The gamma distribution exhibits infinite divisibility. This property is called infinite divisibility. Thus the Fibonacci sequence is an example of a divisibility sequence. Divisibility by 7 can be tested by a recursive method. This allows adding and subtracting alternating sets of three digits to determine divisibility by seven. This section is about the divisibility rules in duodecimal. Lucas and Lehmer sequences are examples of divisibility sequences. These gradations are made possible by the quantitative intensive divisibility of the retina's activity. This casts fresh light on the ancient conundrum of the divisibility of matter.