Explicit languages