A hypothetical language specification