Work in progress on SLSE