Work on SLIF inaccessibles: t-1