Work on SLIF inaccessibles: t+