Revert "SLTI done"

This reverts commit 837d589b260a619a9cd967dd0e8a49b0ec546cd3.