A simple language