Added listof, more redex