an alternative way of specifying the base language[Exp]