Hypothetical languages