Hypothetical formation