After forming categories with similar units of meaning, the researcher seeks underlying themes and relationships among the categories. This data analysis results in insights, conditional propositions, and questions that are pursued through further data collection. The researcher constructs tentative theoretical statements about the relationships among constructs, explores these theoretical propositions through further data collection, and so on. This cyclical process of testing the explanatory adequacy of the theoretical constructs by comparing with additional empirical data continues until the comparative analysis no longer contributes any new information (theoretical saturation). Thus, through induction and verification techniques, the researcher progressively elaborates a general theoretical statement well-grounded in the data.