Perhaps it can be simplified a bit?  The bottom case is, I think, just `s.args[0]`?