use pre with terminal class