They connect the intellectual and observational worlds., They are formal.