an alternative way of specifying the base language [Exp]