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