s is cons, returns cons