Generally,observed behavior that can be formulated into a statement,sometimes mathematical in nature,is called a(n)