Before llms : All tests + some type theory things After llms : Just slop without tests