How do you evaluate sec(sec1(23))?