A LeX and Kripmus